関数型プログラミングとは、ソフトウェアで一つのまとまった機能を実現する「関数」を、手続き型プログラミングでは許されている「副作用」を用いず、あたかも数学の関数のように、変数への値の代入をしない記述法で作成できるようにするプログラミング法や言語を言う。これによって、i=i+1のような表現がなくなるため、プログラムは読みやすく、誤りも少なくなる。